Fixing Standards on Testers, Especially on Wear Testers
نویسندگان
چکیده
منابع مشابه
On the Merits of Temporal Testers
The paper discusses the merits of temporal testers, which can serve as a compositional basis for automata construction corresponding to temporal formulas in the context of LTL, PSL, and MITL logics. Temporal testers can be viewed as (non-deterministic) transducers that, at any point, output a boolean value which is 1 iff the corresponding temporal formula holds starting at the current position....
متن کاملImproved On-the-fly Verification with Testers
We present a new memory efficient algorithm for on-the-fly verification of labelled transition systems (LTSs) with testers. To our knowledge, this is the first thoroughly presented solution for verifying all properties specifiable with testers. The algorithm requires four passes of the state space of the composition of the LTS and the tester. CR Classification: F.1.2 [Computation by Abstract De...
متن کاملBenchmark Generator for Software Testers
In the field of search based software engineering, evolutionary testing is a very popular domain in which test cases are automatically generated for a given piece of code using evolutionary algorithms. The techniques used in this domain usually are hard to compare since there is no standard testbed. In this paper we propose an automatic program generator to solve this situation. The program gen...
متن کاملOn the Effect of the Proximity Parameter on Property Testers
This note refers to the effect of the proximity parameter on the operation of (standard) property testers. Its bottom-line is that, except in pathological cases, the effect of the proximity parameter is restricted to determining the query complexity of the tester. The point is that, in non-pathological cases, the mapping of the proximity parameter to the query complexity can be reversed in an a...
متن کاملPassive Testing with Proxy-testers
Passive testing is an alternative testing approach whose purpose is to passively analyze an implementation behaviour without disturbing it. Usually, passive testing methods extract traces by means of sniffer-based tools, running in the same environment as the implementation. Nevertheless, many implementation environments prevent from setting a sniffer-based tool for security or technical reason...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Textile Machinery of Japan - Proceedings -
سال: 1966
ISSN: 1883-8731
DOI: 10.4188/transjtmsj1965a.19.p223